A Measure of Space for Computing over the Reals
نویسنده
چکیده
We propose a new complexity measure of space for the BSS model of computation. We define LOGSPACEW and PSPACEW complexity classes over the reals. We prove that LOGSPACEW is included in NC 2 R ∩ PW , i.e. is small enough for being relevant. We prove that the Real Circuit Decision Problem is PR-complete under LOGSPACEW reductions, i.e. that LOGSPACEW is large enough for containing natural algorithms. We also prove that PSPACEW is included in PARR.
منابع مشابه
Modelling of Love Waves in Fluid Saturated Porous Viscoelastic Medium resting over an Exponentially Graded Inhomogeneous Half-space Influenced by Gravity
The present article is devoted to a theoretical study on Love wave vibration in a pre-stressed fluid-saturated anisotropic porous viscoelastic medium embedded over an inhomogeneous isotropic half-space influenced by gravity. The expression of dispersion has been achieved with the help of mathematical tools such as variable separable method and Whittaker’s function’s expansion under certain boun...
متن کاملA Geometry Preserving Kernel over Riemannian Manifolds
Abstract- Kernel trick and projection to tangent spaces are two choices for linearizing the data points lying on Riemannian manifolds. These approaches are used to provide the prerequisites for applying standard machine learning methods on Riemannian manifolds. Classical kernels implicitly project data to high dimensional feature space without considering the intrinsic geometry of data points. ...
متن کاملMethod of Green’s Function for Characterization of SH Waves in Porous-Piezo Composite Structure with a Point Source
An approach of Green’s function is adopted to solve the inhomogeneous linear differential equations representing wave equations in piezo-composite materials. In particular, transference of horizontally polarised shear (SH) waves is considered in bedded structure comprising of porous-piezo electric layer lying over a heterogeneous half-space. Propagation of SH-waves is considered to be influence...
متن کاملMeasures and Their Random Reals
We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every noncomputable real is non-trivially random with respect to some measure. The probability measures constructed in the proof may have atoms. If one rules out the existence of atoms, i.e. considers only continuous measures, it turns out that every non-hyperarithmetical rea...
متن کاملUncertainty analysis of hierarchical granular structures for multi-granulation typical hesitant fuzzy approximation space
Hierarchical structures and uncertainty measures are two main aspects in granular computing, approximate reasoning and cognitive process. Typical hesitant fuzzy sets, as a prime extension of fuzzy sets, are more flexible to reflect the hesitance and ambiguity in knowledge representation and decision making. In this paper, we mainly investigate the hierarchical structures and uncertainty measure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006